sends(l,tg,e) == filter(m.mtag(m) = tg;sends(l;e)) 

latex

---

clarification:

es-tg-sends(es; l; tg; e) == filter(m.es-mtag(es; m) = tg;es-sends(es; l; e)) 

latex

Definitions	filter(P;l), x.A(x), a = b, mtag(m), sends(l;e)
FDL editor aliases	es-tg-sends